161. Approximate Inference in Graphical Models
پدیدآورنده : Forouzan, Sholeh
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
162. Approximation Theory and Spline Functions
پدیدآورنده : edited by S.P. Singh, J.W.H. Burry, B. Watson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global analysis (Mathematics),Mathematics.
163. Approximation and Complexity in Numerical Optimization
پدیدآورنده : edited by Panos M. Pardalos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Mathematical optimization.,Mathematics.
164. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
165. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
166. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
167. Aspects of Semidefinite Programming :
پدیدآورنده : by Etienne Klerk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Information theory.,Mathematics.
رده :
T57
.
74
B948
2004
168. Assignment problems /
پدیدآورنده : Rainer Burkard, Mauro Dell'Amico, Silvano Martello
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Assignment problems (Programming),Computer science-- Mathematics
رده :
QA402
.
6
.
B87
2009
169. Assignment problems
پدیدآورنده : Burkard, Rainer E.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87
170. Asymptotic Statistics :
پدیدآورنده : edited by Petr Mandl, Marie Hušková.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distribution (Probability theory),Operations research.,Statistics.
رده :
QA276
.
A1
E358
1994
171. Audio programming for interactive games /
پدیدآورنده : Martin D. Wilde.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer game music.,Computer games-- Programming.,Computer sound processing.,Computer game music.,Computer games-- Programming.,Computer sound processing.
رده :
MT723
.
W55
2004
172. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
173. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
174. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
175. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
176. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
177. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
178. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
179. BASIC LINEAR PROGRAMMING
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
519
,.
72
,
RUB
180. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
